logic (or "propositional calculus") A system of symboliclogic using symbols to stand for whole propositions and

logical connectives. Propositional logic only considers

whether a proposition is true or false. In contrast to

predicate logic, it does not consider the internal structure

of propositions.